5.1-magnitude earthquake hits southern Indonesia