jQueryUI slider: animate option