How many ATP molecules are produced from one molecule of a 6-carbon fatty acid metabolised via the TCA cycle to carbon dioxide and water?