Finite-size security proof of binary-modulation continuous-variable quantum key distribution using only heterodyne measurement