Automorphy for coherent cohomology of Shimura varieties - Jun Su