Axions In String Theory