Ndufs4 knockout mouse models of Leigh syndrome: pathophysiology and intervention