Formula of variance for grouped data