Iglesias de los Carmelitas y del Carmen, Oporto