to tuck (one's shirt)