Renormalization and finiteness of topological BF theories