Adding up the billions wasted by the House Republicans