Prediction of H3 Receptor Occupancy Diurnal Fluctuations Using Population Modeling and Simulation with Focus on Guiding Dose Selection in a Phase IIa Study