5.1-magnitude earthquake hits eastern Indonesia