Ion energy distributions measured inside a high-voltage cathode in a BF3 pulsed dc plasma used for plasma doping: experiments and ab initio calculations