Occupation Time Large Deviations for the Symmetric Simple Exclusion Process