Court rejects industry claim that new coal-mining safety rules cost too much