Tax deductions for miners