The PAV algorithm optimizes binary proper scoring rules