Axions as dark matter