Tools for data splitting
