Local solvability of a class of degenerate second order operators