Latent Weights Do Not Exist: Rethinking Binarized Neural Network Optimization