Formation process for and strain effect in InAs quantum dots grown on GaAs substrates by using molecular beam epitaxy