Gradbeni podvig Mira Cerarja