A refined model for knock onset prediction in spark ignition engines fueled with mixtures of gasoline and propane