New Horizons in pro-p Groups