Enviar por SMS: Symbolic computation of variational symmetries in optimal control