Mainshock and aftershock analysis of the June 17, 1996, deep Flores Sea earthquake sequence: Implications for the mechanism of deep earthquakes and the tectonics of the Banda Sea