The role of Minerals Management Service in the U.S. Department of the Interior's Prototype Oil Shale Leasing Program