On the Mathai-Quillen formalism of topological sigma models