On incentive compatible, individually rational, and ex post efficient mechanisms for bilateral trading