Smart algorithms to help people lose weight.