Planning an external swimming pool with a BIM Edificius