What Antoninus Pius did as emperor