D-brane effective field theory from string field theory