Theory and particle simulation of nonlinear double layers in a magnetized plasma