Tallahassee city manager: Million-dollar theft has prompted increased security measures