Vertex-Distinguishing E-Total Colorings of Complete Bipartite Graphs with One Part Having Five Vertices