[boost] [range] Best way to count the elements in a filtered range?