Which document is typically used to formally solicit detailed proposals from EHR vendors during the selection process?