Operacja (technologia)