Barton Springs Pool temporarily closes