Quantum dot defined in a two-dimensional electron gas at an−AlGaAs∕GaAsheterojunction: Simulation of electrostatic potential and charging properties