Development and Validation of a Dimensionless Model for Predicting Optimal Spark Timing in Spark-Ignition Engines Fueled by Ethanol-Gasoline Blends Using Dimensional Analysis, Experimentation, and Numerical Simulation