Combined Ab Initio Total Energy Density Functional Calculations and Scanning Tunneling Microscopy Experiments of the β-SiC(001) c(4x2) Surface