Phase behaviour of lipid–cholesterol membranes