Theoretical and Experimental Analyses of Precast Prestressed Concrete Roof Elements for Large Span