OTTO는 어떻게 진공 펌프를 모니터링합니까?