Cholesterol management in Dutch general practice A comparison with national guidelines