The many and varied cost estimates of Trump’s border wall