Convergent adaptive Finite Element Methods for the solution of the EEG forward problem with the help of the subtraction method