7.1-magnitude earthquake strikes off Indonesia