Axions: Theory, Cosmology, and Experimental Searches