7.1-magnitude quake hits Indonesia’s Banda Sea