Quake of magnitude 7.5 shakes East Timor, Australia; no tsunami feared