Negatively charged Si vacancy in 4H SiC: A comparison between theory and experiment