Barton Springs Pool closed for flood clean-up