posterior pituitary definition