Proper base change for separated locally proper maps