a roman catholic holiday celebrating the virgin mary’s being taken up