Trump will be able take credit for large parts of Biden infrastructure spending—if he wants to