try/catch/finally block structure: what executes in each block and when finally runs