Should spending $100 million dollars on bike infrastructure be a budget priority?