Introduction to closed superstring field theory