The 2019-2020 Indios, Puerto Rico earthquake sequence: seismicity and faulting