Gravar-mail: Variational structure of Luttinger–Ward formalism and bold diagrammatic expansion for Euclidean lattice field theory