An Optimization Model for Minimum Green Time Based on Risk Decision-Making at Actuated Signal Intersections