Inhabitation for non-idempotent intersection types