PenLight: combining a mobile projector and a digital pen for dynamic visual overlay