Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution