US Mining Revenue Hits $146B Despite Production Decline