Candi Mendut, Pawon, dan Borobudur