AstroCloud: A Distributed Cloud Computing and Application Platform for Astronomy