What is the difference between a cathedral and a pro cathedral?