Numerical aperture increasing lens microscopy for high resolution and high collection efficiency spectroscopy of single quantum dots