Biden's mining tax is the least sensible part of his 2025 budget proposal