All sequential allotment rules are obviously strategy-proof