Free products with amalgamation