Porous Dust Particles in Protoplanetary Disks: Application to the HL Tau Disk