Exact Large Deviation Function in the Asymmetric Exclusion Process