How long can you leave a freshly plastered pool before it needs to be filled?