Hard-boiling eggs