ATP synthesis in mitochondria