An Accurate Analytical Model for A Proof-of-Work Blockchain with Multiple Selfish Miners