Developing an Eco-Driving Application for Semi-Actuated Signalized Intersections and Modeling the Market Penetration Rates of Eco-Driving