Kinetic modeling of the electric double layer at a dielectric plasma-solid interface.