Things to know about the US coal industry and proposed changes under the Trump administration