Florida sets execution date for man who raped and murdered his former manager at a convenience store