Miami’s last cop shooting conviction, 25 years ago, left legal legacy