Reductions of three-way concept lattices and three-way rules extraction based on Boolean formal contexts