Seismological and energy balance constraints on the mechanism of a catastrophic bump in the Book Cliffs coal mining district, Utah, U.S.A.