Urban density and energy efficiency in the London Building Stock Model