Theory and modelling of dual-fuel combustion