工人体育馆容纳多少人