Propagation of singularities for hyperbolic operators with double characteristics