Air-to-Fuel Ratio Estimation in Turbocharged Spark-Ignition Engines based on Binary HEGO Sensors