5.8-Magnitude earthquake strikes east Nusa Tenggara, Indonesia