Non-Associative Normed Algebras: Volume 1, The Vidav-Palmer and Gelfand-Naimark Theorems