Optimal trade execution and absence of price manipulations in limit order book models