Electromagnetic finite elements based on a four-potential variational principle