High-Performance Reachability Query Processing under Index Size Restrictions