Topology Optimization of a Concrete Floor Slab Guided by Vacuumatic Formwork Constraints