Climate and health benefits of a transition from gas to electric cooking