An introduction to Borcherds-Kac-Moody Lie algebras, vertex algebras, and related automorphic forms