Manifolds with ample canonical class