Large Deviations for the Asymmetric Simple Exclusion Process