Magnitude 7.2 quake hits Philippines