the Robert C. Byrd Mine Safety Protection Act of 2013