Dietary protein, ketosis, and appetite control