Theory of box girders