Proper dual simplex tableau generation