Louisville mayor survived workplace shooting