行最简形矩阵是怎么定义的?