Trump’s budget goes big on minerals — not mine safety