Lagrangian of quantum electrodynamics (QED), scalar QED, Feynman rules of QED, definition of cross section and its relativistic generalization