Names of 2 police officers in fatal St. Paul shooting released