Hierarchies of polynomially solvable satisfiability problems