The ev3 Touch sensor