Magnitude 7.2 earthquake shakes Papua New Guinea