A System for Keyword Proximity Search on XML Databases