Wat is string::size_type?