Theo lịch sử Việt Nam, tướng giặc nào đã bị chém đầu trong trận chiến tại ải Chi Lăng?