Exact Large Deviation Functional of a Stationary Open Driven Diffusive System: The Asymmetric Exclusion Process