Magnitude 7.2 quake rocks Celebes Sea off Mindanao