The Algorithm Theoretical Basis Document for Level 1A Processing