Type IIA string theory