A simulation-guided fluorescence correlation spectroscopy tool to investigate the protonation dynamics of cytochrome c oxidase