Strategy-proof allocation mechanisms for economies with an indivisible good