Gravar-mail: Automatic Generation of Number Series Reasoning Items of High Difficulty