Use of a market segmentation method to validate user types of SHUTi, an Internet-delivered intervention for insomnia