Is it better to peel hard-boiled eggs warm or cold?