implement range filtering for numerics; add jQuery Ui sliders