The present invention is directed to compounds of the formula
wherein all substituents are defined herein, as well as pharmaceutically acceptable compositions comprising compounds of the invention and methods of using said compositions in the treatment of various disorders.