Synthesizing 3D Abstractions by Inverting Procedural Buildings with Transformers