Data mining methodologies and application for libraries. Library marketing for improving patron satisfaction : Expectation to the improvement of library services by data analysis