Efficient Solving of Regular Expression Inequalities