Arithmetic Circuits and Identity Testing