Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning