What is the normal resting blood pressure range for a healthy adult according to NICE hypertension guidelines?