Electronic states around a vortex core in high-Tc superconductors based on the t-J model