国产水准仪的型号一般包括DS05、DS1、DS3，精密水准仪是指（ ）。