Almost commuting matrices are near commuting matrices