Automated brain extraction from head CT and CTA images using convex optimization with shape propagation. (July 2019)