Geometry of the mapping class group II: A biautomatic structure

The mapping class group of a non-exceptional oriented surface of finite type admits a biautomatic structure.