Is It Normal for a 12-Year-Old to Pick Their Nose?