Demolition and reuse of concrete and masonry: guidelines for demolition and reuse of concrete and masonry: proceedings of the Third international RILEM symposium on demolition and reuse of concrete and masonry held in Odense, Denmark, 24-27 October 1993