Statistical properties of stock order books: empirical results and models