Three-loop vacuum integrals in FORM and REDUCE