Using Boost lexical_cast to convert from string to int