Holyrood, Midlothian, Augustinian abbey of Holy Cross, St Mary the Virgin and All Saints