What does a craniotomy procedure involve?