Calculating the domain of attraction: Zubov's method and extensions