Text this: How much should the resting heart rate be controlled in patients with atrial fibrillation and coronary heart disease?