Earthquake shakes west Indonesia