Virtually special cube complexes - Part 1 - Ian Agol