Optimal portfolio liquidation: market impact models and optimal control