Control Oriented Models for TWC-equipped Spark Ignition Engines during the Warm-up Phase