The Managua, Nicaragua, earthquake of December 23, 1972: Location, focal mechanism, and intensity distribution