Industrial gear oil